Knihy od autora Thomas A. Henzinger

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Handbook of Model Checking

   Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith | Springer International Publishing AG, 2018

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   143.62 €

   Zľava 7 %

   Ušetríte 12.03 €

   Kúpiť
2. 

   Formal Modeling and Analysis of Timed Systems

   Krishnendu Chatterjee, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 14 - 21 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.87 €

   Kúpiť
3. 

   Embedded Software

   Thomas A. Henzinger, Christoph M. Kirsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.53 €

   Zľava 7 %

   Ušetríte 4.27 €

   Kúpiť
4. 

   Handbook of Model Checking

   Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem | Springer Nature Switzerland AG, 2019

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Brožovaná

   157.95 €

   Kúpiť
5. 

   Computer Science Logic

   Jacques Duparc, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.67 €

   Zľava 7 %

   Ušetríte 8.60 €

   Kúpiť
6. 

   Computational Methods in Systems Biology

   Ashutosh Gupta, Thomas A. Henzinger | Springer, Berlin, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.53 €

   Zľava 7 %

   Ušetríte 4.27 €

   Kúpiť
7. 

   Mathematical and Engineering Methods in Computer Science

   Antonin Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomas Vojnar | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.53 €

   Zľava 7 %

   Ušetríte 4.27 €

   Kúpiť
8. 

   Hybrid Systems III

   Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag | Springer, Berlin, 1996

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.67 €

   Zľava 7 %

   Ušetríte 8.60 €

   Kúpiť
9. 

   Hybrid Systems: Computation and Control

   Thomas A. Henzinger, Shankar S. Sastry | Springer, Berlin, 1998

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.53 €

   Zľava 7 %

   Ušetríte 4.27 €

   Kúpiť

Máte na výber zo mnohých spôsobov platby za váš nákup. Zistite viac